Hennessy-Milner Properties in Schroder Categories
نویسندگان
چکیده
This note presents a relational formalization of Hennessy-Milner properties in Schroder categories.
منابع مشابه
(a) Title of Paper Inductive Inference of Algebraic Processes Based on Hennessy- Milner Logic
This paper considers algebraic basic processes, a subset of communicating processes in CCS by Milner, and presents a synthesis algorithm to infer a process that satis es the properties of the process, represented as formulae in Hennessy-Milner Logic. The validity of the proposed algorithm can be stated that it synthesizes a process in the limit, which cannot be distinguished from the target one...
متن کاملBisimulation and Hennessy-Milner Logic for Generalized Synchronization Trees
In this work, we develop a generalization of Hennessy-Milner Logic (HML) for Generalized Synchronization Trees (GSTs) that we call Generalized Hennessy Milner Logic (GHML). Importantly, this logic suggests a strong relationship between (weak) bisimulation for GSTs and ordinary bisimulation for Synchronization Trees (STs). We demonstrate that this relationship can be used to define the GST analo...
متن کاملHennessy-Milner Classes and Process Algebra
This paper studies Hennessy Milner classes classes of Kripke models where modal logical equivalence coincides with bisimulation Concepts associated with these classes in the literature Goldblatt Visser are studied and compared and the structure of the collection of maximal Hennessy Milner classes is investigated how many are there what is their intersection The insights into these classes are a...
متن کاملDecidable Extensions of Hennessy-Milner Logic
We propose a new class of logics for specifying and modelchecking properties of distributed systems Dynamic Epistemic Spatial Logics. They have been designed as extensions of Hennessy-Milner logic with spatial operators (inspired by Cardelli-Gordon-Caires spatial logic) and epistemic operators (inspired by dynamic-epistemic logics). Our logics focus on observers, agents placed in different loca...
متن کاملCompositionality via Cut-Elimination: Hennessy-Milner Logic for an Arbitrary GSOS
We present a sequent calculus for proving that processes in a process algebra satisfy assertions in Hennessy-Milner logic. The main novelty lies in the use of the operational semantics to derive introduction rules (on the left and right of sequents) for the diierent operators of the process calculus. This gives a generic proof system applicable to any process algebra with an operational semanti...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999